perm filename CMMI6.360[360,GF]3 blob
sn#866808 filedate 1988-12-15 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔&"p_M'#⊂→
&T Ec⊃_ D∃H↓⊗5@α∃`⊂λ↓U@⊂⊂↓U@⊂⊂↓U ⊂_↓U⊂ α∃⊂(↓T`⊂0↓T@⊂8↓T@⊂8↓T!EB EB@4xB`4pC4h↓β4PβAa∀("⊂BqH D`Px)a_(@a ⊂(@a _(@a _(@a _(a _(a⊂_(a_(β p_∧@ip_¬ip_¬ip_¬@I`_¬@i`_¬@i`_¬i`_∧@iP_∧@i!"Qλ18Db0Xβ↓ ∃⊂↓A@ ⊂↓∀0P↓S` h↓∪@ p↓∪ 0p↓∪0xS$X↓R`4P↓R@4P↓R@1R` xR`0pS hS P↓∪@00↓∀t("⊃β⊃X D`Px)a_(@a _(@a0_(@a@⊂(@a@_(aP_(aP_(aP_(aP_'@aP_'@aP_'@aP_'@a@_'aP⊂'a@_'a0_'a ⊂&@a⊂_%βhT "Ec⊃_ A"%⊂↓B 5λ↓B`%λ↓B`%λ↓B`%λ↓B`∃↓A@⊂(T00T0(↓∀↓$x↓A@∀x↓A@∀x↓A@⊂0S`0`S@0hS@0hS@0`S@0X↓∪ 0Pα∩B4("⊃BqH D`Q⊂)a⊂_(@a0⊂(@a0⊂(@a0⊂(@a0λ(``λα@*_β*_α@JP'@``λ'@``λ'@``λ'@i`_'i`_'iP_%αHT #Ec⊃_ B``(T@00↓@%↓B@4x↓β $p↓β@$h↓C@$`↓C`∀`↓∩`4X↓R@4P↓BA$P↓C@4P↓C@4X↓β 4X↓C4`↓β4h↓α@Dp↓A@ λ↓∀p Q(D@∞πB1_αB PH)a0_(@a0_(@a0_(@a0_(@a0_(a0_(a0_(a0_(∧)p_¬@ip_¬@ip_¬@ip_¬@i`_¬@i`_¬@i`_¬@i`_¬@iP_¬@i HαB(T $CB↓_ A!∃⊂↓T 5λ↓T 5λ↓T5↓T5↓S`4x↓S`4x↓S@4p↓S@4p↓S 4P∧Q(DPλEα1_∧α*`_*@jP_*@jP_*j@_*j@_)@j0_)@j0_)i0_αi αi _αi ⊂αi@("Q 1`∂∧b0(∧A`u⊂↓B`5λ↓C∃λ↓B@%λ↓B ∃λ↓A`%↓A`∃↓A %↓A5↓@@Tx↓@@⊂_↓S`P ↓S`08↓S`08α∪@0H↓S@0P↓S@0P↓S@0X↓S 0`α∩A⊂8∧⊃(D`
¬B1_αBJ _(@j⊂_(@j⊂_(j_(j_'@ip_'@a0λ'@a0λ'a0λ'a0λ'a λ'a⊂⊂&@a %∧(T &H$1_ A ppβT@@h@ 5λ@ 0hα∀ ⊂λ↓C⊂λ↓T ⊂λ↓B`⊂⊂↓T ⊂⊂↓B@⊂⊂↓T⊂_↓B ⊂⊂↓T⊂_↓B⊂_↓T⊂_↓B⊂_↓T⊂_↓A`⊂ ↓S`⊂(↓A ⊂ ↓S`⊂(↓A⊂(↓S`⊂(↓A⊂(↓S`⊂(↓@`⊂0↓S@⊂0↓@@⊂0↓S@⊂8↓@ ⊂0↓S@⊂8α↓`4pA`0@↓S 8↓A`4PβA (∧Q(Dp∞πB1_αAA 8)↓↓0⊂(@ ⊂_¬@*⊂λ↓a λ(@ _¬*⊂λ↓@a⊂λ( @ β@*λα@`pλ( `_β*λβ``λ'@!_α)pλ∧↓0λ'@!⊂_↓@)pλ¬` λ'!0_@)`λε↓ `λε↓ `λε@iP⊂π) 8ε(T 'Ec⊃_ B@u⊂↓A 5↓B 4x↓β$p↓β@$h↓β`$`↓C`4X↓D4X↓D4X↓D4P↓D4P↓D4P↓D4P↓C`4X↓β@4X↓C $X↓C$`↓B 4p↓A 5βQ(EF"1_αCj _β@j⊂_¬J⊂_¬j⊂_¬j⊂_¬j_¬j_¬j_∧@j_β@ip`'@ip_'@i`_'i`_'iP_%α(T (Ec⊃H B@u⊂↓A 5↓B 4x↓β$p↓β 4h↓C@$`↓C`4X↓D4X↓D4X↓D4P↓D4P↓D4P↓D4P↓C`4X↓β@4X↓C $X↓A0(↓∪0⊂@`⊂⊂↓S@0(↓Tp0U@⊂0U@⊂(↓∃@ _↓∃@e0β∃`4("∀C↓P D`Pp)`p_(@a⊂_(@a _(@a _(@a _(a _(a⊂_(`p_(αip_βA p_∧ip_∧@ip_∧@i`_∧@i`_∧@i`_∧@i`_∧@`@λ&@a _↓@) H∧AλT )DBQ_ B`_T (@ $x↓α$xB@∀p↓α@∀p↓α@∀p↓∪@4pβSa∃λ∧∃@58↓U`4XB`$XB`$XB`∀X↓α ∀P↓ ⊂0↓∩@⊂_βQ(E Fα1_↓E @_β@``⊂&!_β@I@λ∧`p⊂%@!⊂_∧)0λ∧@`pλ%!⊂_∧*@_*j@_)@j0_)@j0_)j _)j _(@iP`"Q
Q8
∧b0∧A`th↓C$`↓C ∀`↓C ∀`↓C ∀`↓C ∀X↓C ∀X↓C ∀X↓C ∀X↓C ∀P↓C ∀P↓C ∀P↓C ∀P↓C ∀P↓β ∀P↓β ∀P↓B`∀X↓α $`↓↓@$pβ⊃(E0FB1_α↓⊂0&aP_&↓↓@λ&@a@λ&@a0λ&@a λ&@a⊂⊂&A↓λ'`pλ'``λ'``λ'`Pλ'↓0λ'@`0λ'@` λ'@`⊂λ'A)p (Jλ"Q
r⊃Db0∧↓↓⊂ βS0Hαα@$`↓B@0PS0P↓B ∀`↓B @@S0@@ 0@S 08@ 08S 00@@08S 0(@`00S 0(@`0(S 0 A 0 S 0 A 0_S 0_A@0⊂S 0⊂A`0⊂S@0λA`0λS@@@↓@ ∀p↓B Dp↓B 4p↓α`$p↓α`∀("⊗β!` D`PHαAj ∧@J0_∧J0 βJ@_α@J@ ↓@JP_↓JP(+j` +↓
PλA
@λ↓@j0λα↓
λβj⊂λβA
λ∧@ipλ¬↓ P_¬@i @βα(T ,Fβ!_ @↓⊂Hβ∪ @`↓S@0`S@@PS`0HS`@8S`@0T0(T@_T 0⊂T U⊂↓T@5⊂↓T 5λ↓T 5λ↓T4h∧Q(EP
Fα1_αD p_∧@i`⊂¬i`⊂∧@i`λ∧@i`λ∧iPλ∧jP_*j0 )↓
_(@`pλ(`pλ'@aλ'a⊂λ&@a⊂λ&a⊂⊂%@a %βhT 0CB`ε↓ @λ↓∪@ _↓S ⊂(↓S (↓∩` 0↓∩` 0↓∩` 0↓∩@ 0↓∩@ 0↓`∀P↓↓@ _R`⊂(↓@`∀X↓`⊂λ↓@∀`α`4("_A0h
¬⊂('I`⊂&@IP⊂&@IP⊂&I@⊂A @_↓@I@⊂α@)0⊂βI0⊂βI0⊂βI0⊂βI ⊂βI ⊂βI ⊂β)0λα@)0⊂↓@)@ "Q0`πβ↓@0α∪@ S ↓S (↓∩`$X↓∩`$P↓∩@$XB ∀X↓↓`∀`A $hαQ(F π∧αA ∧A*`⊂+JP⊂*@JP⊂*@J@⊂'A⊂⊂'@0_&@ P_&@P⊂%@@`⊂%@@`⊂%@@`⊂%@`⊂%@`⊂↓@) ⊂β@0λ%@ P_↓@)0⊂↓@ ⊂⊂↓)@ ↓@hT 2Ba``ε↓ Dh↓↓∀`A`∀X↓↓@∀P↓↓@$P∧∩@$PR@∀P↓α∀P↓↓`∀XA $`αQ(F0πD#! ¬@j@λ@j0⊂@j0⊂@J ⊂)J ⊂)Ip@)J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂(J⊂(J⊂'@Ip⊂%@@ ⊂%` λ%@ λ%@hT 3CB↓⊂ε↓`@λ↓∀ _↓S`⊂(↓S@ (↓∪ 0↓∪ 0↓∪ 0↓∪ 0↓∪ 0↓∪ 0↓∪ ⊂(↓S _↓S@@λ↓∀`%_↓∩` (↓∩@0(↓∩@ (↓∩`d("~↓q⊂
¬ ('@Ip⊂'I`⊂'I`⊂&@IP⊂↓↓ P ↓@IP⊂α@I@_α@I@⊂βI@⊂βI@⊂βI0⊂βI0⊂β@0λ%@@P⊂α)0⊂α@@0λ%@`⊂↓@) ⊂βAλT 4B↓!
↓ $x↓S`$8α@@4X@@$X@@$P@`$P@@$h↓∪ $`↓∪ ⊂R` _R` _R` ⊂S4("~A@`
¬↓ λ)@j0⊂#A `_'@ ⊂'@ 0⊂' 0⊂' 0⊂)J ⊂(@J⊂⊂(@J⊂⊂(J⊂(J⊂%@@ ⊂%` ⊂%@ ⊂%@hT 5CB⊃
@Tx↓∪`$p↓∪@$p↓∪@$h↓∪ (↓S _↓ 4h↓@⊂_↓S ⊂A$`↓ ∀`↓S λ↓R` ↓∩` ↓`∀X↓↓ _R` ↓@∀P↓↓ ⊂R@ 0↓Q(F`βα"A A)`⊂'IP⊂&@IP⊂&@I@⊂&I@⊂&I0⊂%@I0⊂%@I ⊂%@⊂λ%@⊂λ%@⊂λ%@⊂λ%@hT 6FcP`ε@0 αATX@@ ⊂A ⊂A$X@`0(↓ ⊂(↓∩@⊂_↓A@00↓∩@⊂_↓↓` 8↓∪@ 8↓↓`$p↓↓` 8↓∪ 8↓↓`$h↓↓` 8↓`∀h↓↓` 0↓↓∀h↓↓` 0↓`∀`↓↓` 8↓`∀`↓↓` @α⊃(FpλDa@`↓`@ %@ ⊂@@0⊂%@ 0⊂α@I λ↓@`P⊂% 0⊂βI`⊂βI`⊂βIP⊂βIP⊂β@0λ&@@P⊂α)P⊂α@@0λ&@`⊂↓@)@⊂βAλT 7C!p`ε↓@Dp↓↓∀h↓↓@∀`↓↓`$X↓α$X↓α$X↓α$P↓α$P↓α$XA`$X↓↓@∀`A$hα⊃(GπDα `↓@`0 & ⊂@ 0⊂& 0⊂α@)0λ↓@@`⊂%@ 0⊂βIp⊂βIp⊂βI`⊂βI`⊂βI`⊂β)`⊂α@)P⊂@ 0λ&@@ _&@IP⊂&I@⊂&I 0"Q∞⊂`π∧A@(α@∀p↓`4hA 4`↓↓ $X↓↓@$X↓↓@$X↓↓@$P↓↓@$P↓↓@$P↓↓@$XA 4X↓`4`α %λ↓∀ %↓∀%↓∪ t("≤Aaεβ _↓A 0λ↓@⊂λ↓@i0λ↓@@@_% 0_αI λ↓@I`⊂'IP⊂&@IP⊂&@I@⊂&HT 9Ba``ε↓ DpA∀hA4`A $`↓∪ TpαT@$XA`∀P↓A@∀P↓↓@∀PA@∀Xβ⊃(G ∧Bb⊃λβ)p⊂'@Ip⊂'I H'I`⊂&@IP⊂&@IP⊂&I@⊂↓@)@⊂↓@)@⊂↓@)@⊂↓)P_"Q∞Q β↓@_↓A@$`@@ (↓∩`⊂_↓↓ $PA ↓∩@⊂_↓↓ $p↓↓ $p↓↓ $h↓↓ $h↓↓ _S (↓`∀h↓↓0_S@⊂_α@∀x↓@`4("≥APxεβ0_α@I@λ↓@@⊂%@ 0⊂α@) λα@Pλ% 0⊂β)`⊂β)`⊂β)P⊂β)P⊂β)P⊂α@)P⊂α@)`λα)p "Q∞q(C↓@_↓A@ (↓∪⊂⊂↓↓ (↓∩`⊂_↓↓ 0R@⊂ ↓↓ 8R@⊂_↓↓ 8S@ (↓↓`∀p↓↓ 8S (↓↓`∀h↓↓ 8S (↓↓@∀h↓↓ 0S@ _@ S`@_αQ(G@λ∧A@`α↓0 &@ 0 ↓i@λα`0_%@ P⊂αI0λα@J⊂⊂(@J⊂(@Pλ%@@⊂α@) _↓@@@λ%@0λ@ 0λ%A0_"Q∂⊂pλ∧A@_↓A@$`@@ (↓∩`⊂_↓↓ $PA ↓∩@⊂_↓↓ $p↓↓ $p↓↓ $h↓↓ $h↓↓ $h↓↓ $h↓↓4p@`4x↓@ %_↓∀@$X↓A$X↓@`$X↓`$`α⊃(GPεCa@`α@`@λ'↓ λ&@ P_** ⊂(@*λ'@)`λβ)Pλβ@)@ ↓@I0⊂↓↓) λα@hT ¬C↓_ A"∃⊂↓B5λ↓B@%λ↓B@%λ↓B@%λ↓B@∃↓B`∃↓T5↓S`4x↓S`4x↓S@4p↓S@4p↓S 4P¬⊃(@λεb1_λK⊂_,↓
p0+@ _+ 0_*@ @ * `_)@ p )@p )!⊂_(@! (!0 '@!P_'!` &@!p &B_&¬I18%ελT ↓¬c⊃_ B@u⊂↓A 5↓B 4x↓β$p↓β 4h↓C@$`↓C`4X↓@`⊂@@`4X↓@a _↓R`0_¬`4P↓@a _↓R@0_¬`4P↓@`⊂@@`4P↓C`4X↓β@4X↓C $X↓C$`↓B 4p↓A 5βQ(@_
Eb1_π@+⊂+@jp +↓*P⊂@jPλ↓j@λ↓@j@λ↓@j0λαj λα@j λαA
⊂λβ@jλ∧jλ∧ipλ∧@i`⊂∧@i`λ¬iP⊂¬↓ 8αB(T αεβ!_ AB% ∪`⊃S`⊃S`⊃Q` 8B@∃λB@∃λε∀↓EB@∃B@∀8↓ ⊃⊂R`⊃⊂R`⊃⊂RBDP
⊃(@(∞πB1_αEj _¬@j⊂_¬@j⊂_¬@j⊂_¬@j⊂_¬@j_¬@j_¬@j_¬@j_¬@ip_¬@ip_¬@ip_¬@ip_¬@i`_¬@i`_¬@i`_¬@i`_¬@iP_¬@i HαB(T βεβ1_ A"4xαβ5↓C %αβ%λ↓C%λαα`∃⊂αα@∃_↓T`E ↓U5 ↓∀`⊂XT@⊂XT `S`⊂h↓∪@⊂h↓∪ ⊂`α∩b4P Q(@8εα1_↓A!(&↓``8%@@0 α`0⊂% p⊂↓@@`λ)`⊂⊂)A
0 )@j0_)@j _)j _)j⊂_(@j⊂_(@j_&αhT ∧¬"a_ B↓50↓U 5(↓TA∧x↓@`0λ↓S 0 ↓A$`↓A 0 ↓R`00↓A 4X↓A@0(↓R@00↓A 4P↓A@0(↓R`0(↓A4`↓↓ 0_↓S 0⊂↓@@4x∧∀@5⊂↓T 4h¬Q(@Hεα1_βBjP_*j@_%`p_αA 0_β`@_%@`P_α@i0_α@`@_%@`P_αi0_α@`@_%@`@_αi0_α`@⊂%@`@_↓@i@⊂α` _&@`⊂_@ip8(@j⊂_(i@X"Q↓!0
∧b0P∧∀ @0↓T X↓∪@0`↓S 0h↓S 0p↓∪0p↓S0p↓S0p↓S0h↓S h↓∪ `↓∪ 0P↓∪@ H↓∩@⊂_↓α ⊂_R@⊂ B⊂ R@⊂ A` _R@`8β∩@`0βR@`0β⊃(@X ¬↓@`β↓ `⊂α@Pλ&@@`⊂α)@⊂β@@0λ%@A⊂↓@)0⊂∧`⊂λ%@A⊂⊂@) ⊂¬i ⊂¬I0λ¬I0⊂βA @λα@@0λ↓)P(βHT ε∧"1P
α`E_↓↓∃⊂A@%λA`%B$xB $xB$pB $p@`tp@`dpB ∀hB@$hB@$hB@$hB@$`B@$`B@$`↓α$`↓α∀X@@ ↓∩`⊂ α∩`∀XR@∀PR@∀PQ(@hλDB `α↓ pλ&A``λ%A0_α)0λ∧ @λ%!⊂λ↓@*Pλ↓*Pλ@*Pλ@*Pλ@*P⊂*@JP⊂*@*Pλ*@*@λ**@λ*(T πβ!q
↓`EA∀xS@$p↓∪@$p↓S`5α∪@ ⊂↓∪ ↓∪ (↓∩` 8R` 8R` 0↓∩@ 8R@ 8R`⊂0R` (S⊂ S D("βa hεβP(&@I@λ%@I ⊂%α ⊂%I ⊂%I ⊂%@@@⊂&AλT λβ"↓P
α∃⊂T@Eλ@ 4x↓∪@$h↓∪ ∀`↓∩`$X↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩`4`αS eα∀@%⊂↓∪@⊂_S`4("∧!a β _α↓ 0λ↓@⊂⊂↓@I0λ↓@@P⊂% 0_α@I λ↓@@`⊂'@`⊂'@`⊂&@@`⊂&@@`⊂&@@`⊂&@@`⊂&@`⊂&@`⊂*J@⊂)@J0⊂)@J0λ"Qα `πEα@8↓T⊂_S`⊂ ↓∪@⊂(↓∪ (↓∪ ⊂0↓∪ 0↓∪⊂8↓∩` 8↓∩` 8↓∩a4P↓↓`$P↓↓`$P↓↓`$P↓↓@$P↓↓@$P↓↓ $P↓↓ ∀XA$X@`$`↓Q(A_βBA@`↓@IP⊂&@I@⊂&I@⊂%@I0⊂%@@0λ%@@λ%@0λ%@0λ%AλT
βb `ε` 0↓S αS _@@$`↓`∀`↓ $`αS ⊂α∩` 0↓∩` 0↓`∀X↓↓@ _R` 0↓@∀P↓↓` ⊂R@ @↓Q(A(πDBA ↓@ip_(J_(@J⊂⊂(@j ⊂)J0⊂)@J0_) ⊂⊂(@ ⊂( @⊂'@ P⊂'@P⊂&@@p⊂&A⊂%@A⊂_%A0⊂"Qαa DA@ ↓↓@$p↓↓@$p↓↓@$h↓↓@$h↓↓@$h↓↓@$h↓↓@$`↓↓@$`↓↓@ _S 0↓`∀`↓↓ 0_R`@_@ ⊂R` λα`4X↓∩`$P↓∩@$P↓∩@∀("¬aaλεβ(β@IP⊂β@IP⊂β@I@⊂β@I@⊂β@I@⊂βI@⊂α@I0⊂β)0⊂α@)0⊂α)0⊂↓I ⊂@I _"QβhπFB@8T ∃λαS` λα∪@$h↓∪ $`↓∪$h↓∪@dpβ∪ ∀`R`$P↓∩@$P↓∩@$P↓R`D`β∪`U⊂↓T`$p↓`∃↓Q(AHλDa@`↓CI@x%@@@λ↓)0λα@ λ( 0λ( 0λ( 0λ'@@0λ'@ @λ'@@λ'@@⊂&@@P⊂&@@`λ"Qβ pλDA@@↓T _↓∪` (S@ 0↓∪ 8↓∪ 8↓∪ 8↓∪ 8↓∪ 8↓∪ 0↓∪ 0R` λ@`$X↓@DX↓∩`$P↓∩@$P↓∩@∀("εb⊃_εβ`X'β)P_αI@⊂β@I0⊂∧I0⊂∧I0⊂∧I ⊂∧I ⊂∧I0λβ@I0⊂β)@λαIP "Qβ@xλC↓@_ε∪↓TX↓↓∀XA ∃↓∀%T∀x↓∪`$x↓∪@$p↓⊃(AhπD!@`↓@`p⊂& ⊂βI0λ↓@@pλ% @⊂β@) λ↓@Aλ'Aλ'Aλ&@Aλ&@Aλ&@@pλ&@@`λ'@@λ'A(T ∂∧"1P
β∃(U ∃(U ∃ U∃ T dx↓@⊂_↓∪ A$`↓↓ ⊂(S⊂0A $X↓↓ ⊂0↓∩` (A@$P↓↓@⊂(↓∩`⊂0A $X↓↓⊂(↓∪⊂ A$h↓@⊂⊂↓∪@eT∃T∀xS`∀("πb! β _ε)0λ↓A λ'@Aλ'@@pλ(@Pλ(@@λ(@@ λ(@@⊂λ(@j ⊂(@j⊂λ@Jλ↓Ipλ↓@i`λα@IPλβi@λ∧@0λ%@! ⊂↓) λεhT ⊂∧bQP
β@∃8U`∃8U`∃0U@∃0S 00A$`@@ A $X@` A@∀PA A@∀P@` (A@∀p↓↓⊂8S@ A`∀h↓↓ ⊂0S (A ∀h↓↓⊂0S@ _A$x↓@⊂_Tu⊂T@∃⊂T@∃λT ∀("λ"1 εβ@λεIPλε@I@λπ@)@λπ@)0λβ@@pλ%@ p⊂β@)0λβ@@pλ%@ `⊂β@) ⊂β@`⊂%@ `⊂α@I0⊂↓@@⊂⊂↓i00↓↓I@ α↓λT ⊃β↓``ε↓ Th∧S 0R`∀XSd`@ 4XR@∀PR@ 8Ra∧hαQ(B_λDbA ¬@J@λ↓*0λ↓@J λαJ λα@* λα@* λαJ0λ↓@I@_α@ ⊂%@ ⊂αA 0λ↓@@`_% 0⊂βI λ↓@@`⊂'@`⊂'@P⊂&@@`⊂&@@`λ&@@P⊂&@@@⊂' @λ'AλT ∩εC@`εbt`∩` _D∀X@`⊃λS`⊂8B ∀pB⊂HS@⊂8↓α ∀hB @S ⊂8↓A`$h↓↓ λA`∀h↓↓ ⊂↓↓$pβ↓dxα↓@D(" !Qλ βp_'@@0⊂'@Pλ&@@`⊂&@p⊂&@p⊂&@p⊂%@@p⊂%@@p⊂%@@`⊂%@`Pλ% λ↓@I λ↓A λ%) λ%α)@@)@(T ∪αaPxε↓ dh↓↓ ∀`↓∩`$P↓∩@$P↓∩@$P↓R`D`αS@E↓∀ ∃↓∪@4(" b!( β0λ∧↓ @λ∧↓I0λ∧@@⊂%@ pλβ@) λβ@!λ% pλ∧) λβ!⊂λ% `λ∧) λβ pλ%@@λβ@I0_↓ P_&αip0'@Ipλ'@)`⊂'I`λ"Qλ↓ ¬α@8αS` ↓∪@⊂@S@⊂@↓∪ 0@S 0@↓⊗%@↓∀P_↓∪@ (@@$h↓↓`⊂λ↓∪ H↓∩` P↓∩` P↓∩` H↓∩@ P↓∩@ H↓∩`⊂HR` 8S ↓∪@T("_↓@h
¬↓⊂⊂) λ(@ 0λ(@ λ(@ λ'@@0λ'@@ λ'@ 0λ'@ λ'@ λ'@⊂λ&@@⊂λ&@@⊂λ&@iP⊂&@I@_%@ ⊂⊂% 0λα@I`λα)p "Q∂08∧C↓@⊂↓R`⊂⊂↓∩`⊂⊂↓∩@⊂_↓∩@⊂⊂↓∪ $h↓∪$`↓@∀X↓`∀X↓`∀X↓@∀`↓Q(G`¬Bb `βipλ↓Ipλ↓@I`λ↓@I`λ↓@J ⊂)J⊂⊂(@J⊂⊂(@J⊂(J⊂(I0⊂↓I _↓I ⊂↓I0 "Q∂Qλ
DA@_↓∪ 0αR` (↓↓$X↓` 8R@ _B $P↓@⊂P↓∩@ λB`$P↓B`$P↓B`$P↓A⊂0R`0_A $P@ 0⊂A$P@@0⊂α∩@⊂_↓∩@⊂_↓R@⊂_↓∩@⊂_↓∩@⊂_R`4("∨Aa(αE!⊂⊂*I h%β*0_)HT ?CBp_ At`↓↓`$XB`∀PC∀("↓@xεβ00&@@⊂%@@`⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%@@`⊂&@@⊂&AHT _Ba``ε↓@∀Xβ∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∩a$("A@xεβ 8%@ `_%``_%`p⊂*J0⊂)j⊂⊂(@0λ'@Pλ&B 0P%αhT →CB↓⊂ε↓d`↓↓ 4X↓A@4X↓A`$X↓A@5 ↓U%_↓∪`U_↓U5(↓∃ 4X↓α4Pα↓`4Pα↓`$P↓A`4X↓↓@4hβQ(C π∧α `∧J ⊂(@jλ@Ip⊂@Ipλ↓I`λ↓@IP⊂↓@IPλαI@λα@I0λβI ⊂βI p)J ⊂)J ⊂)Ip@"QεP`πDA@⊂A@$`∧∪t`@@∀`S∀`S⊂λα∪ ↓∪⊂(↓T`%_↓T`4P↓A@4P↓A@4P↓A@$XA@4`A4hαQ(C0εβb!⊂β↓ `⊂α)Pλα@i@λβi0⊂%@I ⊂%@ (%@⊂λαI _βI ⊂∧) ⊂∧I ⊂∧I ⊂∧I0λ∧I0⊂β@)@λβIPλαI` "QεppλDaPλRaTXε∩`⊂HR@⊂PR@⊂HT`∃⊂T ∃λT%S`$x↓∪`$p↓S@4p↓S@4xQ(C@π∧α!⊂α↓IPλα@i@λ∧)0⊂∧I0⊂∧I0_β@I@ αI@0@I`0'↓i@⊂↓A)0⊂β↓ ⊂∧@i ⊂¬I ⊂¬I ⊂¬I0⊂∧I@⊂βI`0"Qπ⊂`πDA@ α∪ R` 0R`⊂8↓∩@ @R@ @↓∩@ @↓∩@ @↓∩`⊂@↓∩` 0↓S @ $hα@@% ↓∃∃_↓∩@00R@0(R`⊂(ST("
βbλαB`Pλ'@)`λ&I1h%πHT ∀GD⊂0β@βdX∞S$pS`∀xQ(BP∂λ PX, λ1@,@⊂%πI!p"Q¬1p⊂A@p∂∩Cf ↓_`⊗⊂X@∀("@8∧β@ ⊂%@i ⊂%I ⊂%I ⊂%@i@⊂"Q¬P βB↓`↓∩@4`↓∪$`↓∪$`↓∩@4P↓⊃(Bpπ∧↓pp@) %↓) ⊂↓i ⊂↓A ⊂α@i ⊂β@i ⊂∧↓ ⊂∧↓ ⊂β@i ⊂α@i ⊂↓A ⊂↓i (%↓ 0λ"Q¬ppλβa``↓∃E_αT 0⊂↓∪`@_↓∪@0(↓∪08↓∩`0@↓∩`0@↓∪08↓∪@0(↓∪`@_↓∀ 0⊂↓∀`U α∃@$("∞@@8↓@`⊂⊂%↓ %@HT ≥ApH↓@ $Pα∩@DX↓S ∀hS∀`R`∀XQ(C`
εαAλ@k⊂ +A
P *j _(↓ ` &↓ %↓ @ '↓
)j@_*A
p ,A0_"QπP`πGαPXU%_↓∀`%_↓∀@%⊂↓∀@%λ↓∀ %↓∀%↓∪`$x↓∪`$p↓∪@$p↓∪ $h↓∪$`↓∪$X↓∩`$X↓∩@$P↓⊃(Cp
εαAi0 &A p (@j0_*↓
` ,↓ -↓ +↓
@ )@j⊂_'A P %A _"Qπqλ βa`@T@∃⊂T@∃⊂T@∀Pα↓⊂ α∪!4xβT 5↓ %@`∀x↓`$p↓↓ $pA`∀hB ∀("⊗aX
E λ%) λ%) λ%) λ%) λ% ⊂ %@0⊂% P⊂% P⊂% P⊂% P⊂% @⊂% @⊂% 0⊂% ⊂% ⊂⊂%i λ"Q@0¬εbPR@∀PR@∀PR@∀PR@⊂_↓∩@⊂λα∩@@λR@ _R@⊂ R@⊂ R@⊂ R@⊂ R@⊂ R@⊂ R@⊂ R@⊂ R@⊂ R@⊂_↓∩@⊂λα∩@@λR@ _S`∀xS`∀xQ(Eh∧αc! β)0λα)0λα)0λα)0λα)0λα)0λαI08%↓i ⊂α)0λα)0λα)0λα)0λα)0λα)0λα)0λα)0λα)0λα)0λαI08%↓i ⊂α)0λα)0λα)0λα)0λ"Qap⊂Aa0G∀XF@∀`F∀hE@∀p↓∧@%αα@E⊂π∃!∧("↔cbλβBa⊂`(D p_πi`⊂ IPλ)@λ)0λ
) λ∞(↑xπZ,F(7≥
⊗04Y."!S)THwG6x2~-f89Xmε(6Y$¬ 2V∧εh0]
α4]⊗`4X⎇p`3≠mg 3_,6(1≡.F(y@≡ >⊃∞`εαh←3@ ⎇M` ⎇M`λ␈␈x␈} ¬>`↓>λR@xO⎇@⊃x∧∞≤↓⎇P{C@π<>∧∧?0↓F@h←`λ!↑`
@↓h ]@↓i⎇@Qpβ␈a(α⊃⊂{↓C@πN:0∧,␈0βE@XcFλk↑`@@↓U((↓λw⎇A⊃8β∂|@α$0{αC@πHZ0∧T∨0¬F`oR @↑``
@↓2X∩@↓_%⎇AQ_αMh@α;⊂{βB⊂∧Ce0∧}␈0πD@/R
⊂≡aλ@↓∩(u@↓ 1⎇B⊃_αI[XαJ {∧B ∧\90¬≡←0 C@8;!
R↑a ↓9`8↓(9⎇BQ0αxq@α[0{¬B`ε¬?∨0D`Hxp`∪≡a@λ@↓∩(u@↓0B⎇C⊃0αtαl0{εB0¬∞,¬`∨0
E X;>`R≡a`λ@↓∃
@↓8>⎇CQ(αa↔@αz⊂{πB`¬wx0¬|?0∂E``#F∪≡b↓Q`6@↓@O⎇D⊃8β∂$Xβ⊃ {λB ∧Xbε+␈0⊃E@`↓5 a↑b ∂@α¬HI@↓Hs⎇DQ_αG⊗β# { ApβsFPεO?0∪F`}
)≡b@∩@α8p_↓px=E∩(∧qcβp_{
DP cFπbo0∃I ↓_G∂J>b`¬@a⊂z@↓x≡=EPX↓B/(βu({B0¬∞≤πmo0↔D`P≤8∂j>c @↓#@p↓`L=F⊃_αG∞βLx{B0¬∞≤π≡∂0→D`P≤8∞F}c @↓#@p↓h-=FQ_αG∞βYH{
B0¬∞≤π;/0≠D`P≤8∂ >c@ @↓#@p↓p-=G⊃_αG∞βj({∞A0β∧↑Pπ|O0≥B`0 = ∂|}c`∞@↓v@"@απ=GQ_αG∞∧βh{∂CPπZλPλ∂o0∨D`P≤8⊂+>d
↓(Hz@↓P|⎇H⊃`βY∂Xα_{⊂C@π4eP∞∂0!F@p⊃h0>d ∂↓␈@z@λε=HQXβLW∃x{⊃Bpε→L06O0#Gx∨H}}d@∂↓␈p
@⊂'=I⊃α_5*_{∩B@¬9z0Z/0%G`↓4N↓B>d`@↓XP4_1=IR_∧R\@9x{∪CPπ↑+↓εo0'Gpx|α)}e@↓GPb@ ⎇=J⊃hβnjhSX{∀C@π0!0↓5∂0)E``
← α␈}e ↓;⊂Z@0%=JQHβ-
@iλ{∃B`¬k⊃P↓\o0+H@↓⊂5
`βM>e@∂α(U@8`=K⊃0αst(↓x{⊗C⊂εYjPα
/0-C`@∩z`⊂9≡e`π@↓α(u@αλ⊗⎇KPxα∧↑X∧_p{↔DP cFλ>←0/I ↓_G⊃ε≡fπ@↓∧Xm@↓X(=L⊃ αYE_↓ X{_B∧0j0α≤∂01D @y⊂∧J>f @↓$8J@H+=LQ⊂α-I↓~X{→B ∧g∞α;/03D@H\U ¬λ}f@↓9`8P8=M⊂h↓d∪↓,_{~Ap∧mα←O05EPI= ¬O}f`εfh¬@XK=MRλ∧/␈X↓<x{≠Bpε∀∩Pβπ/07D@Hf3 ε!}g @↓$8J@`←=N⊃λα$~(↓Qλ{≤B⊂∧Qc0β+∂09D H-∧`εb}g πzλ⊗@h]=NQ0αy=@↓↑h{≥B0∧␈␈PβG∂0;F`p%) π≡>g@
@↓2PTpk=O⊃_αD∩X↓qH{≡B ∧b/0βmo0=C 8⊂L
h>g`πzPU@↓Xi=OQ@β∪αXβ@h{∨B0¬∞≤π∞∂0?B`0 = ∞ ␈⊂λOX_ow{⎇x